int do_fork();
int do_getpid();
int do_wait(int * status);
int do_print(const char* s, ...);

